Michael the Archangel against the devil